SCHOLZ, Dieter: Computer Aided Engineering for the Design of Flight Control and Hydraulic Systems. In: SOCIETY OF AUTOMOTIVE ENGINEERS: SAE 1996 Transactions, Journal of Aerospace. Abschnitt 1, Bd. 105, 1997, S

Source URL: www.fzt.haw-hamburg.de

Social Relations Model for Collaborative Filtering Wu-Jun Li† and Dit-Yan Yeung‡ † Shanghai Key Laboratory of Scalable Computing and Systems Department of Computer Science and Engineering, Shanghai Jiao Tong Univer

Source URL: cs.nju.edu.cn

Legal knowledge based systems JURIX 93 Intelligent Tools for Drafting Legislation, Computer - Supported Comparison of Law The Foundation for Legal Knowledge Systems

Source URL: jurix.nl

Opening the Sensornet Black Box Megan Wachs, Jung Woo Lee, Jung Il Choi, & Philip Levis Computer Systems Laboratory, Stanford University

Source URL: sing.stanford.edu

Computer-aided Ontology Development: an integrated environment Manuel Fiorelli, Maria Teresa Pazienza, Steve Petruzza, Armando Stellato, Andrea Turbati ART Research Group, Dept. of Computer Science, Systems and Productio

Source URL: art.uniroma2.it

Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

Source URL: www.cs.bham.ac.uk.

On Completeness and Soundness in Interactive Proof Systems Martin Furer, Computer Science Dept., Pennsylvania state Univ., University Park, PAOded Goldreich, Computer Science Dept., Technion, Haifa, Israel. Yisha

Source URL: www.wisdom.weizmann.ac.il

Published in: Halstead, R., Ito T. (editors), ``Parallel Symbolic Computing: Languages, Systems, and Applications'', Springer-Verlag Lecture Notes in Computer Science 748, November, 1993, ppA Message Passing Im

Source URL: www.iro.umontreal.ca

• Computing
• Parallel computing
• Subroutines
• Software engineering
• Computer programming
• Cache coherency
• Continuation
• Control flow
• Stack
• Task
• Interrupt handler
• Cache coherence

Research and cooperations related to COST Action IC0901 Rich-model Toolkit - An Infrastructure for Reliable Computer Systems

Source URL: richmodels.epfl.ch

A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

Source URL: homes.cs.washington.edu